(0 18 15)(1 19 3)(2 7 4)(5 20 12)(6 14 10)(8 17 9)(11 16 13)
ALLOWS (11/8)-SEQUENCE
1: (12 16 20)

(0 18 15)(1 19 3)(2 7 4)(5 20 13 11 16)(6 14 10)(8 17 9)(12)
2: (11 16 13)

(0 18 15)(1 19 3)(2 7 4)(5 20 13)(6 14 10)(8 17 9)(11)(12)(16)
3: (0 18 15)

(0)(1 19 3)(2 7 4)(5 20 13)(6 14 10)(8 17 9)(11)(12)(15)(16)(18)
4: (5 20 13)

(0)(1 19 3)(2 7 4)(5)(6 14 10)(8 17 9)(11)(12)(13)(15)(16)(18)(20)